Le prix Alonzo Church est un prix annuel, aussi appelé , soit « prix Alonzo Church pour des contributions exceptionnelles en logique et calcul » créé en 2015 par le ACM Special Interest Group for Logic and Computation (SIGLOG), l`EATCS, l`Association européenne pour la logique en informat...